Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
951	An Efficient Decision Procedure for Imperative Tree Data Structures ? Thomas Wies1 , Marco Mu˜niz2 , and Viktor Kuncak3 1 Institute of Science and Technology (IST), Austria Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-05-02 03:09:28 Model theory Predicate logic Formal languages Metalogic First-order logic Interpretation Ground expression Atomic formula Well-formed formula Logic Mathematics Mathematical logic
952	GUARDED TRANSFORMATION FOR THE MODAL µ-CALCULUS FLORIAN BRUSE, OLIVER FRIEDMANN, AND MARTIN LANGE Abstract. Guarded normal form requires occurrences of fixpoint variables in a µ-calculus-formula to occur under the scop Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2013-05-03 12:27:57 Mathematical logic Metalogic Well-formed formula Conjunctive normal form Polynomial Parity Physics Formal languages Logical syntax
953	Beyond Provable Security: Verifiable IND-CCA Security of OAEP Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Ciphertext indistinguishability Public-key cryptography Mathematical proof Concrete security Random oracle RSA Equivalence relation Cryptography Optimal asymmetric encryption padding Mathematical logic
954	Logic and Artificial Intelligence Carnegie Mellon University Spring 2013 Instructor: E-Mail: Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2015-03-10 03:37:53 Reasoning Artificial intelligence Non-classical logic Modal logic Logic programming Knowledge representation and reasoning Epistemic modal logic Description logic Reason Logic Science Mathematical logic
955	A Form for Referees in Theoretical Computer Science∗ Ian Parberry† Department of Computer Science & Engineering University of North Texas September 20, 2007 Add to Reading List Source URL: larc.unt.edu Language: English - Date: 2011-05-12 16:09:28 Academic literature Academic publishing Peer review Scientific method Science Computer Pi Mathematical proof Knowledge Mathematics Mathematical logic
956	Accelerating Interpolants ⋆ Hossein Hojjat1 , Radu Iosif2 , Filip Koneˇcn´y2,4, Viktor Kuncak1, and Philipp R¨ummer3 1 Swiss Federal Institute of Technology Lausanne (EPFL) Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-07-02 15:54:03 Formal methods Abstraction Model theory Predicate transformer semantics Program logic Transitive closure Predicate abstraction Predicate Interpolation Mathematical logic Mathematics Logic
957	Towards Complete Reasoning about Axiomatic Specifications Swen Jacobs and Viktor Kuncak ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-11-10 10:57:45 Model theory Functions and mappings Function Structure Axiom Interpretation First-order logic Mathematics Mathematical logic Logic
958	Theorem Proving in Lean Jeremy Avigad Leonardo de Moura Soonho Kong Version df39393, updated at:37: Add to Reading List Source URL: leanprover.github.io Language: English - Date: 2015-06-08 12:08:26 Formal systems Automated theorem proving Logical syntax Propositional calculus Mathematical proof Deduction theorem Theorem Proof assistant Axiom Logic Mathematics Mathematical logic
959	Compact Representations for Shortest-‐Path Queries Pankaj K. Agarwal Duke University The paradigm of computing geometric summaries has Add to Reading List Source URL: iros2011.org Language: English - Date: 2011-09-21 06:59:56 Algorithm Mathematical logic Theoretical computer science Mathematical optimization Combinatorial optimization Mathematics Operations research Applied mathematics
960	Overlapping pre onditioners for dis ontinuous Galerkin approximations of se ond order problems Caroline Lasser Andrea Toselli y Add to Reading List Source URL: www-m3.ma.tum.de Language: English - Date: 2010-05-06 15:47:17 Metre Mathematical fallacy Applied mathematics Logic Numerical analysis Mathematics Galerkin method